acm sigbed
|
emsoft
|
participants
Marieke Huisman
EMSOFT 2025: 25th International Conference on Embedded Software
Deductive Verification of Cooperative RTOS Applications
Philip Tasche
,
Paula Herber
, and
Marieke Huisman
10.1145/3759251>
https://dl.acm.org/doi/10.1145/3759251